Appendix A: State Diagram